Representing and using cedural knowledge
نویسنده
چکیده
What is the nature of expertise? This paper posits an answer to that question in the domain of geometry problem-solving. We present a computer program called POLYA which makes use of explicit planning knowledge to solve geometry proof problems, integrating the processes of parsing the diagram and writing the proof.
منابع مشابه
Unexpected Side E ects of Inline Substitution : A Case
The structure of a program can encode implicit information that changes both the shape and speed of the generated code. Interprocedural transformations like inlining often discard such information; using interpro-cedural data-ow information as a basis for optimization can have the same eeect. In the course of a study on inline substitution with commercial FORTRAN compilers, we encountered unexp...
متن کاملImpediments to the Deployment of Knowledge Management Program in the Provincial Department of Education in Yazd
Impediments to the Deployment of Knowledge Management Program in the Provincial Department of Education in Yazd M. Zanjirchi, Ph.D. M. Hakkaaki A.R. Konjkaav Monfared F. Behniyaa To identify the impediments to the deployment of knowledge management program in the provincial department of education in Yazd, a questionnaire was completed by a carefully selected sample of 2...
متن کاملAbstract Concepts Through the Lens of Linguistic and Extra-Linguistic Knowledge
The paper deals with the rigorous methods used in the research of concepts representing abstract notions like “friendship”, “love”, “hatred”, “conscience”, and “envy”. Concepts of that kind have no visible physical support in the material world except for the sound forms of the words representing them, thus causing additional difficulties in classification, research and analysis as well as stip...
متن کاملRepresenting Spectral data using LabPQR color space in comparison to PCA method
In many applications of color technology such as spectral color reproduction it is of interest to represent the spectral data with lower dimensions than spectral space’s dimensions. It is more than half of a century that Principal Component Analysis PCA method has been applied to find the number of independent basis vectors of spectral dataset and representing spectral reflectance with lower di...
متن کاملتأثیر آموزش روشهای اضطراری پیشگیری از بارداری بر میزان آگاهی و نوع نگرش کارکنان بهداشتی شاغل در مراکز بهداشتی درمانی
Background & Objective: According to Iranian national statistics, every year 400 to 500 thousand unwanted pregnancies occur in Iran. The emergency contraceptive methods are easily accessible and affordable for the women of this region. Regarding the important role of health care providers in representing these methods, this study is to determine the knowledge and attitudes of these staff toward...
متن کامل